x86/pvh: do not allow 32-bit PVH guests to clear CR4's PAE bit
authorBoris Ostrovsky <boris.ostrovsky@oracle.com>
Wed, 9 Sep 2015 15:08:56 +0000 (17:08 +0200)
committerJan Beulich <jbeulich@suse.com>
Wed, 9 Sep 2015 15:08:56 +0000 (17:08 +0200)
commit476cf36ac0de41bd5070f902c430d5ce90c7f590
tree8724fb1265c09cdcbc6c7f8a1c6370bc0d95dc7e
parentad01afb7255af6755c44e34c943fc336bf4b0316
x86/pvh: do not allow 32-bit PVH guests to clear CR4's PAE bit

.. since we only support 32-bit PV(H) guests in PAE mode.

Signed-off-by: Boris Ostrovsky <boris.ostrovsky@oracle.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
xen/arch/x86/hvm/hvm.c